DIR: call by value

DIR: general

DIR: rationals

DIR: atoms

DIR: randomness

DIR: event-structures1

DIR: message-automata

DIR: concrete-message-automata

DIR: event-system

DIR: realizability